home *** CD-ROM | disk | FTP | other *** search
/ Atari Mega Archive 1 / Atari Mega Archive - Volume 1.iso / lists / mint / l_0399 / 140 < prev    next >
Encoding:
Internet Message Format  |  1994-08-27  |  732 b 
  1. Date: Mon, 15 Mar 93 09:40:53 +0100
  2. From: tbr1101@sun10.lrz-muenchen.de
  3. Message-Id: <9303150840.AA00608@sun10.lrz-muenchen.de>
  4. To: mint@terminator.rs.itd.umich.edu
  5.  
  6. I think there are two bugs in Mintlib Pl30:
  7.  
  8. 1) printf reports -0.0, that means 0x80000000 as NaN
  9. 2) divdf3 reports e.g. 0.0/2.4 as -0.0 (again 0x80000000 instead of 0x00000000)
  10.  
  11. Try this listing on an ST without Coprozessor:
  12.  
  13. #include <stdio.h>
  14.  
  15. tt(double a)
  16. {
  17.         double b,c,d;
  18.         
  19.         b = -a;
  20.         c = a / 2.4;
  21.         d = b / 2.4;
  22.         
  23.         printf("%f %f %f %f\n",a,b,c,d);
  24. }
  25.  
  26. main()
  27. {
  28.         tt(0.0);
  29. }       
  30.         
  31.  
  32. Robert (rwilhelm@physik.tu-muenchen.de)
  33.  
  34. BTW: GCC 2.3.3Pl1 uses for 0.0 and -0.0 always 0x00000000.
  35. Bug or feature ?
  36.  
  37.